Specification and Description Language - PDFSEARCH.IO - Document Search Engine

Specification and Description Language
Results: 68

#	Item
21	ADDENDUM: An Overview of C2SADEL This addendum introduces C2SADEL, a Software Architecture Description and Evolution Language for C2style architectures. The complete specification of C2SADEL’s syntax is given below. C2 Add to Reading List Source URL: sunset.usc.edu Language: English - Date: 2012-02-19 12:35:06 Computing Polymorphism Object-oriented programming Programming language theory Subtype polymorphism Variable Data types Type theory Software engineering
22	JAX-WS and JAX-RS Java Web Services This five day class takes a comprehensive look at the state of the art in developing interoperable web services on the Java EE 6 platform. Students learn the key standards for both SOA Add to Reading List Source URL: www.batky-howell.com Language: English - Date: 2011-05-25 16:57:46 Java specification requests Interoperability Java Architecture for XML Binding Web Services Description Language Java API for RESTful Web Services Java API for XML Web Services WS-I Basic Profile SOAP Service-oriented architecture Computing Web standards Web services
23	Accellera Continues to Promote Increased Electronic Design Productivity with Revised VHDL Standard Revision approval follows Accellera’s approval of VHDL API specification NAPA, Calif., Oct. 9, 2006, — Accellera, the Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-10-22 05:04:56 Standards organizations Hardware verification languages IEEE standards Accellera VHDL Property Specification Language IEEE Standards Association Verilog Institute of Electrical and Electronics Engineers Electronic engineering Electronic design automation Hardware description languages
24	MJRA1.2 - Agreement on Common Job Submission and Management Methods Add to Reading List Source URL: cds.cern.ch Language: English - Date: 2011-02-22 04:10:25 Middleware Grid computing GLite Job Submission Description Language European Middleware Initiative TWiki UNICORE Specification OpenDocument Computing Concurrent computing Software
25	Design Specification for IEEE Std 1471 Recommended Practice for Architectural Description IEEE Architecture Working Group 0 Motivation Despite significant efforts to improve engineering practices and technologies, softwa Add to Reading List Source URL: www.iso-architecture.org Language: English - Date: 1997-10-19 05:23:08 Software architecture Information technology management Systems engineering Methodology Software Design Description Architecture description language IEEE Systems engineering process ISO IEEE standards Design Software engineering
26	Security Checkers: Detecting Processor Malicious Inclusions at Runtime Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin U.S. Naval Postgraduate School Abstract—To counter the growing threat of malicious sub Add to Reading List Source URL: www.cisr.us Language: English - Date: 2012-10-30 13:43:14 Hardware verification languages Logic design Formal methods Logic in computer science Hardware Trojan Property Specification Language Runtime verification SystemVerilog Functional verification Electronic engineering Digital electronics Hardware description languages
27	Abstracting Security Specifications in Building Survivable Systems J. Jenny Li and Mark Segal Telcordia Technologies (formerly Bellcore) 445 South Street, Morristown NJ[removed]USA Email: [removed]; Phone: (97 Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 1999-11-05 00:00:00 Formal methods Mathematics Diagrams Specification and Description Language Invariant Finite-state machine Extended finite-state machine Vulnerability Buffer overflow Computing Models of computation Theoretical computer science
28	ChattaBox: A Case Study in Using UML and SDL for Engineering Concurrent Communicating Software Systems P S Kritzinger, M Chetty, J Landman, M Marconi and O Ryndina Data Network Architecture Laboratory Department of Compu Add to Reading List Source URL: marshini.net Language: English - Date: 2013-07-29 23:40:12 Data modeling Diagrams Knowledge representation Specification and Description Language Software development methodology Modeling language Use case Actor Class diagram Software development Unified Modeling Language Software
29	Conformity Assessment and Quality of Standards Moving the Yardsticks in the area of Conformity Assessment and Quality of Standards[removed] Add to Reading List Source URL: www.atis.org Language: English - Date: 2005-02-08 14:56:35 Evaluation ITU-T Software testing Diagrams TTCN-3 Computing Notation Specification and Description Language TTCN Abstract Syntax Notation One Standards organizations
30	GSC#5/RAST#8 Williamsburg, Virginia[removed]August 1999 GSC5[removed]August 1999 Add to Reading List Source URL: www.atis.org Language: English - Date: 2005-02-08 14:56:35 Evaluation Reference Computing Specification and Description Language ISO standards Abstract Syntax Notation One ITU-T Network protocols Network management Diagrams Standards organizations TTCN

UPDATE